package org.andes.kownledge.operator;

import org.andes.base.Bindings;
import org.armedbear.lisp.LispObject;

public abstract class Term {
	protected String name;
	public  abstract Term substBindings(Bindings bindings);
	public  boolean isGround(){
		return true;
	}
	public static Term buildTerm(LispObject o){
		return null;		
	}
	public abstract Term renameVariable();


}
